منابع مشابه
FG TAV: Bericht und Beiträge vom Fachgruppentreffen vom 12. und 13. Februar 2009 in Dortmund
Die Qualitätssicherung von Software avanciert immer mehr zu einer Kerndisziplin der Softwaretechnik. Dies bedeutet gleichzeitig, dass die Qualitätssicherungstechniken mit der fortschreitenden Weiterentwicklung entsprechender Spezifikationstechniken und Entwicklungssowie Einsatzplattformen Schritt halten müssen. Das 28. Treffen der Fachgruppe TAV der Gesellschaft für Informatik (GI) am Donnersta...
متن کاملFG TAV: Bericht und Beiträge vom 34. Treffen der Fachgruppe vom 14. und 15. Februar 2013 in Aachen
Das Vortragsprogramm eröffnete Carsten Weise mit seiner Keynote Testen mobiler, verteilter Netzwerke mittels symbolischer Ausführung welche die symbolische Ausführung von Programkode in der industriellen Praxis nahebrachte. Im zweiten Vortrag Konzeption und Evaluation eines delta-orientierten modellbasierten Testverfahrens für Softwareproduktlinienstellte der Preisträger des GI TAV-Award 2011, ...
متن کاملFG ST: Protokoll der Fachgruppensitzung Softwaretechnik vom 20. Februar 2008 in München
Klaus Pohl begrüßt die Mitglieder der Fachgrup-penleitung sowie die Gäste: 1) Agenda wurde angenommen. 2) Arbeitskreisberichte: Die Arbeit der Arbeits-kreise der Fachgruppe war sehr erfolgreich (Berichte siehe folgende Seiten). Für den Arbeitskreis Software Terminologie wäre es wünschenswert, wenn die Ergebnisse geeig-net veröffentlicht würden. Für den Arbeits-kreis Software Engineering für par...
متن کاملFG TAV: Bericht vom 25. Fachgruppentreffen am 15. und 16. Februar 2007 in Düsseldorf
Zur Erinnerung: Der (damalige) Arbeitskreis Test, Analyse und Verifikation von Software (TAV) der Fachgruppe Softwaretechnik wurde durch Andreas Spillner und Peter Liggesmeyer im Juni 1991 ins Leben gerufen. Das 8. Treffen im Oktober 1995 war dann das Gründungstreffen der Fachgruppe TAV. Dieses Jahr nun konnte die FG TAV ein Jubiläum feiern, denn das 25. Treffen fand am 15. und 16. Februar 2007...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Berichte der deutschen chemischen Gesellschaft
سال: 1880
ISSN: 0365-9496,1099-0682
DOI: 10.1002/cber.18800130159